$\forall$$A$,$B$:(top List). ($\neg$($\uparrow$null($B$))) $\Rightarrow$ sqequal(last(append($A$; $B$)); last($B$))